automated reasoning program造句

例句与造句

1. Crucial to McCune's proof was the automated reasoning program EQP he designed.
2. Finally, on Oct . 2, McCune gave the Robbins conjecture to a new automated reasoning program that he had written called EQP, for equational prover.
3. It's difficult to find automated reasoning program in a sentence. 用automated reasoning program造句挺难的